If K is an algebraic extension of E and E is an algebraic extension of F, then K is an algebraic extension of F.